Safer at any speed: automatic context-aware safety enhancement for Rust

Type-safe languages improve application safety by eliminating whole classes of vulnerabilities–such as buffer overflows–by construction. However, this sometimes comes with a performance cost. As result, many modern type-safe provide escape hatches that allow developers to manually bypass them. The relative value and the degree obtained depends upon context, including user goals hardware which is be executed. Since libraries may used in different contexts, library cannot make safety-performance trade-off decisions appropriate for all cases. Application can tune themselves increase or performance, but requires extra effort makes less reusable. To address problem, we present NADER, Rust development tool applications safer automatically transforming unsafe code into equivalent safe according developer preferences context. In end-to-end system evaluations given NADER reintroduces numerous bounds checks, cases making uses popular no corresponding loss performance.